static denotational semantics

静态指称语义学